Since late 2023 I hold my third postdoctoral position in the Logic Group at the Department of Philosophy, Linguistics and Theory of Science of the University of Gothenburg, where I also teach at the local Master in Logic.

My research is motivated by logic, foundations of mathematics and foundations of geometry. Most of my papers fall under one or more of the research themes below.

• categorical logic and category theory.

• deductive systems and categorical proof theory.

• formal model theory.

• formal category theory.

• foundations of geometry.

In a more technical sense, here is a set of keywords to frame my scientific contributions: (Stone-type) syntax/semantics dualities, doctrines of first order logic, topos theory, sketches, accessible and locally presentable categories, categorical semantics of type theory, Yoneda structure, lax-idempotent (pseudo)monads and Kan injectivity, categorical approaches to geometry and topology.

By background I am a pure mathematician. Educated in Pisa (11/16), a place of nostalgic scars. PhD in Brno (17/20), under the guidance of Jiří Rosický. Postodctoral positions held in Prague (20/21) and Stockholm (22/23).

I use to share the lastest news on my academic life. Still hunting...

― ―

Just the place for a Snark! I have said it twice:
That alone should encourage the crew.
Just the place for a Snark! I have said it thrice:
What I tell you three times is true.